EMBEDDINGS INTO OUTER MODELS

Abstract We explore the possibilities for elementary embeddings $j : M \to N$ , where and N are models of ZFC with same ordinals, $M \subseteq has access to large pieces j . construct commuting systems such maps between countable transitive that isomorphic various canonical linear partial orders, including real line ${\mathbb R}$